all:
	gnatmake A3TProtAda.adb

clean:
	rm *~ A3TProtAda *.o *.ali
